package arlab.formulae

/**
 * Created by IntelliJ IDEA.
 * User: Eve
 * Date: 23.02.12
 * Time: 15:54
 * To change this template use File | Settings | File Templates.
 */

// Until operator
case class Until(fm1:Formula, fm2:Formula) extends Formula {

  override  def toString()={
      fm1.toString() + "U" + fm2.toString()
  }

}
